Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

"Informatik" "Informatik" steht steht rur fiir das das wissenschaftliche wissenschaftliche Gebiet, Gebiet, in in dem dem es es um um die die Entwick- Entwick- lung lung und und den den Einsatz Einsatz von von Rechnern, Rechnern, insbesondere insbesondere als als Komponenten Komponenten technischer technischer Gerate Gerate und und oft oft komplexer komplexer Rechnernetze Rechnernetze geht. geht. Aktuelle Aktuelle Begriffe Begriffe wie wie "Internet", "Internet", "Multimedia", "Multimedia", "Informationsgesellschaft" "Informationsgesellschaft" und und "Wissensgesellschaft" "Wissensgesellschaft" sind sind The- The- men mender derInformatik Informatikmit mithoher hohergesellschaftlicher gesellschaftlicherBedeutung. Bedeutung. Unternehmen Unternehmen in in die- die- sem sem Bereich Bereichbefinden befinden sich sich zur zurZeit Zeitin ineiner einerGoldgraberstimmung; Goldgraberstimmung; Neugrundungen Neugrundungen und undWachstumsraten Wachstumsratenstellen stellen andere andere Branchen Branchenin in den den Schatten. Schatten. Entsprechend Entsprechend wird wird Informatik Informatik als als die die modernste modernsteund undzukunftstrachtigste zukunftstrachtigsteWissenschaft Wissenschaft angesehen. angesehen. Der Der Arbeitsmarkt ist leergefegt, und die Hochschulen koennen die Flut von Studier- Arbeitsmarkt ist leergefegt, und die Hochschulen koennen die Flut von Studier- willigen willigenim imFach FachInformatik Informatiknicht nichtmehr mehr aufnehmen. aufnehmen. Dies Dies war war nicht nicht immer immer so. so. Noch Noch vor vor wenigen wenigen Jahren Jahren hatten hatten Informatik- Informatik- absolventen absolventen Schwierigkeiten, Schwierigkeiten, eine eine Anstellung Anstellung zu zu fmden, finden, und und die die Studierenden- Studierenden- zahlen zahlenan an den den Universitaten Universitatenerreichten erreichten besorgniserregende besorgniserregende Tiefstande. Tiefstande.